首页> 外文OA文献 >Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking

【2h】

Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking

机译：针对弱内存模型的共享内存一致性协议验证：通过模型检查进行细化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Prosenjit Chatterjee; Hemanthkumar Sivaraj; Ganesh Gopalakrishnan;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying sequential consistency on shared-memory multiprocessors by model checking [J] . Qadeer S. IEEE Transactions on Parallel and Distributed Systems . 2003,第8期

机译：通过模型检查来验证共享内存多处理器上的顺序一致性
2. Scalability Analysis of Memory Consistency Models in NoC-Based Distributed Shared Memory SoCs [J] . Naeem A., Jantsch A., Lu Z. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2013,第5期

机译：基于NoC的分布式共享内存SoC中内存一致性模型的可伸缩性分析
3. Recent advances in memory consistency models for hardware shared memory systems [J] . Adve S.V., Pai V.S. Proceedings of the IEEE . 1999,第3期

机译：硬件共享内存系统的内存一致性模型的最新进展
4. Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking [C] . Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan Computer Aided Verification . 2002

机译：针对弱内存模型的共享内存一致性协议验证：通过模型检查进行细化
5. Development and analysis of weak memory consistency models to accelerate shared-memory multiprocessor systems [D] . Yoon, Myungchul 1998

机译：开发和分析弱内存一致性模型以加速共享内存多处理器系统
6. Vascular system modeling in parallel environment - distributed and shared memory approaches [O] . Krzysztof Jurczuk, Marek Kretowski, Johanne Bezy-Wendling -1

机译：并行环境中的血管系统建模 - 分布式和共享内存方法
7. On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models [O] . Azalea Raad, Marko Doko, Lovro Rožić, 2019

机译：在弱存储器一致性下的图书馆正确性：在声明性一致性模型下指定和验证并发库

Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking

著录项

引文网络

相似文献

相关主题

期刊订阅